windowManager: Rename variable

Since there is already targetRect that represents where the
window is going to move, rename oldRect to sourceRect to
represent from where the window is moving.

https://bugzilla.gnome.org/show_bug.cgi?id=766685

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 43871fbf3629e33b5e45bba4a2bc205ea82abbee..b9874673c923834c0bbcae4450a72300fd23439c 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1366,10 +1366,10 @@ const WindowManager = new Lang.Class({
                          });
 
         let monitor = Main.layoutManager.monitors[actor.meta_window.get_monitor()];
-        let oldRect = actor.__fullscreenInfo.oldRect;
-        if (oldRect) {
-            actor.translation_x = oldRect.x - monitor.x;
-            actor.translation_y = oldRect.y - monitor.y;
+        let sourceRect = actor.__fullscreenInfo.oldRect;
+        if (sourceRect) {
+            actor.translation_x = sourceRect.x - monitor.x;
+            actor.translation_y = sourceRect.y - monitor.y;
         } else {
             actor.translation_x = -(targetRect.x - monitor.x);
             actor.translation_y = -(targetRect.y - monitor.y);